FliPpr: A Prettier Invertible Printing System

When implementing a programming language, we often write a parser and a pretty-printer. However, manually writing both programs is not only tedious but also error-prone; it may happen that a pretty-printed result is not correctly parsed. In this paper, we propose FliPpr, which is a program transformation system that uses program inversion to produce a CFG parser from a pretty-printer. This novel approach has the advantages of fine-grained control over pretty-printing, and easy reuse of existing efficient pretty-printer and parser implementations

Analysis of the experimental spectral coherence in the Nysted Wind Farm

In this paper, it is analysed the coherence between wind speeds located in a horizontal plane corresponding to hub height of wind turbines in a large wind farm. The coherence is calculated through real data from Nysted Offshore Wind Farm. Concretely, the wind speed measured in the 72 Wind Turbines and in 2 of the meteorological masts during 9 months. The results are analysed in the scale of power fluctuations in large offshore wind farms. This analysis shows the needing of a new spectral coherence model.The work presented in this paper has been done in the research Project ”Power Fluctuations from large offshore wind farms” financed by the Danish Transmission System Operator Energinet.dk as PSO 2004 project number 6506. A. Vigueras-Rodr´ıguez is supported by the Spanish Ministerio de Educaci´on y Ciencia through the grant program “Becas FPU” and from the national research project “ENE2006-15422-C02-02

Introduction to Categories and Categorical Logic

The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The notes are based on a lecture course given at Oxford over the past few years. They contain numerous exercises, and hopefully will prove useful for self-study by those seeking a first introduction to the subject, with fairly minimal prerequisites. The coverage is by no means comprehensive, but should provide a good basis for further study; a guide to further reading is included. The main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions. An Appendix contains a summary of what we will need, and it may be useful to review this first. In addition, some prior exposure to abstract algebra - vector spaces and linear maps, or groups and group homomorphisms - would be helpful.Comment: 96 page

Homotopy Theoretic Models of Type Theory

We introduce the notion of a logical model category which is a Quillen model category satisfying some additional conditions. Those conditions provide enough expressive power that one can soundly interpret dependent products and sums in it. On the other hand, those conditions are easy to check and provide a wide class of models some of which are listed in the paper.Comment: Corrected version of the published articl

Correlated N-boson systems for arbitrary scattering length

We investigate systems of identical bosons with the focus on two-body correlations and attractive finite-range potentials. We use a hyperspherical adiabatic method and apply a Faddeev type of decomposition of the wave function. We discuss the structure of a condensate as function of particle number and scattering length. We establish universal scaling relations for the critical effective radial potentials for distances where the average distance between particle pairs is larger than the interaction range. The correlations in the wave function restore the large distance mean-field behaviour with the correct two-body interaction. We discuss various processes limiting the stability of condensates. With correlations we confirm that macroscopic tunneling dominates when the trap length is about half of the particle number times the scattering length.Comment: 15 pages (RevTeX4), 11 figures (LaTeX), submitted to Phys. Rev. A. Second version includes an explicit comparison to N=3, a restructured manuscript, and updated figure